Fix wrong source name in tests Makefile