Modified txx files to work with g++ 4.7.