Added extension to INSTALL