Fix #1 “Exception in `print_environment` control script: permission denied”