Makefile.inga: Fixed reset on linux
Accept a fail, if inga_tool is missing