bash script header