Fix für Jenkins-Build mit Extensions