python3: use real pre-existing python