Attempting to fix Jenkins download problem -- currently uses old files instead of downloading new versions