strip leading local/ from pylibdir where appropriate
#4117
| Job | Run time |
|---|---|
| 23s | |
| 23s |
local/ from pylibdir where appropriate
#4117
| Job | Run time |
|---|---|
| 23s | |
| 23s |