Clarify why we have make vs gmake flag.