Fix Jenkins bash shebang