Fix for jenkins builds