makefile handles both 3.6 and 3.7 situations