Are you on Windows or Mac? I don't have the file extension problem like you, and I don't see how does the problem relate to $PATH. As long as I write '#!/usr/bin/env bash' as the first line, and grant the executable permission, I could execute the script no matter how it is named. By the way ZIP archives are capable of storing file permissions.