Deactivated part of the traces outputted by the testsuite to make Travis
happy.