Correcting ISO name for Ubuntu1204