Configuration fixes for Jenkins