tracing: another fix for travis