Quick fix for the PHPLoc directory setting