Makefile for sthelens, trying different DM tspan but doesn't work