hardcode python3 prefix to speed up startup