Attempt to fix Jenkins build numbers