Fixed grub menu entry for Ubuntu 13.10 script