Fix the INSTALL / autoreconf hack