python3 shebangs and stuff