Only complain if we cannot find neither tools/*.php nor *-main.php