This is files that had various fixes in the last few weeks, you
will need at least one of them over an old version of sdlpl
(previous to 1.12).
