hopefully it builds it now with Jenkins...