Hello !
Thanks for the post. I changed all my configuration since i last worked on this game and i won't have time to export it to linux. It shouldn't be hard to do with the gradle script.