They don't work with megacheck anymore. The source code and tests will
probably still pass, however.