make python3 work