Updated tools.mk for compatibility with Mac OS 10.10

Fixes Issue #1215