With corelib being small now, there is no real point in trying to
build just the prelude instead of world. Consequently these scripts
have become unmaintained (in my experience) and are not worth keeping.