Bugfix: infinite loop is header files not found