second attemp to fix jenkins issue #147