Update jenkins scripts for building on RHEL