Fix broken build - Thanks Jenkins!