.gitignore in libdir is deprecated, we dont have an config.inc.php there anymore