Use ${EXEEXT} more uniformly in makefiles