TestSTL.py was broken by 9c6e04359282e9051f7b2744b99266ece32db001. This patch fixes it with changes to its Makefile.