Do the same for the dev_config.
Merge pull request #85 from jlouis/fix-17

Do the same for the dev_config.