Remove useless line defining DEFAULT_CONFIG_FILE
Authored by: ludov 2013-09-04
Parent: [r189]
Child: [r191]
