MAJ config.php with correct type for flexlm