- the autogenerated files were removed from repository (test if this still compiles upon check out!)
- the external interfaces of prelude have been modified (phew) such that they compile now