There have been some problems in #419 and #413 that we ought to prevent.
I have updated the "How to build the project" section in the wiki to mention how to restore the deleted configuration files.