Fix url and checksum of Ubuntu 12.04