Hextools makefile