Use a more portable bash shebang comment