Tools and fixes to get WikidPad up and running on Linux