We are switching to using TeamCity for our CI server