add minimal changes for Jenkins testing