Updated to Spot 1.1.4 and fixed a compilation bug in sl.mltop.