fix version number mixup with repos.
remove patch that is now fixed in my nightly build, will be soon in git master