Tidy make_ext.pl, particularly the OS-specific code.