Consider is_file($path) before checking require $path

Consider is_file($path) before checking require $path #3220