Yep those are the files we are using, I did see the post in your forums regarding rockdigger being missing from the first server files, but I had already noticed that before it was posted.
I reupdated our config and mods folders with the new ones you linked, unfortunately Salt, LittleStones, Raw...