Modifications to build core on Jenkins with app engine 1.7.5