There is a newer version (5.4.1) available at http://www.openclonk.org/download/ Reproducible: Always
gtk3 and dedicated build are both broken, no interest