Fix .tx/config

The config file did not match the actual configuration we have and
thus the Jenkins update jobs failed.

I've fixed all problems.

Change-Id: I439c6e475c32d472bec2cd50c75f5d0c9ddbac33