Drop INSTALL; it's autogenerated.