Is it very uncommon to run python files with a `#!/usr/bin/env python` header?