Included prelude properly as a fake submodule