fix that testing.py is not used in coverage reporting