more fixes for jenkins