Oops, make INSTALL work on 14.04 and 12.04