Minor changes on jenkins scripts