@delgame: I think you are correct. I forgot to push a last minute change to git. Now the sources at github should run well (tested it on 2.0.3 and 2.1 ) Thank you!
