Fix: give the unit tests the right filename