Fix configuration for PHPLOC