Fix #356: Actually add options to the config file