[*] don’t hardcode name of gmake executable