discrepancies between clearmake -C gnu and make