[don't merge] checking make version

Trying to figure out differences between my local setup and auto-tester