* spot/mc/bloemen.hh, spot/mc/bloemen_ec.hh, spot/mc/deadlock.hh, spot/mc/lpar13.hh, spot/mc/mc.hh: Here.