INSTALL: Note the same instructions for Ubuntu 12.04 32 bit as well as 64 bit.