Fix py3k build and check-python target on Linux
Avoid using pushd when not necessary