BUG: temp fix for jenkins