this check should probably go into the tools makefile