Makefile: parameterize ${testnum}