switch to a real config file format, fixes #2