This was changed in 5f5a68aa, but causes
problems on systems where python3 is installed somewhere else.
(e.g. MS Windows)