fix for jenkins build