Fixed DIST targets to reflect that INSTALL and MACHINES are back at the top