Bypassing the need to specify --with-mach4 for configure