(I tried moving that file out of there and the test goal complained about its non-existence)