gmake: a helper to call the real make under Windows