A better INSTALL