port, and perhaps others in the future. Activate tmake in devel/Makefile. Also made a COMMENT nit. PR: 17265 Submitted by: Roland Jesse <jesse@cs.uni-magdeburg.de>