[Hackage] #688: hard-coded path to configuration file