Update jenkins
cd src_ext && make distclean should work even if ./configure has not run