attempted fix for Jenkins distribution issue