Continuous Integration

fresh nightly builds from Jenkins