More flexible python3 shebang line