Bash script update for info-beamer