Formilux toolchain for versions 0.1.8, 1.0 and 2.0