rollback to version 4.0.1, as we made some mistakes in combination with the build system
Forget some files