fixes for jenkins