[*] Core: don't re-generate the class_index.php file if a class is not known to avoid misuse of class_exists()