Addendum to #363

Use a placeholder file for the otherwise ignored dist/configs folder.