make sure that a .make file is never included more than once