use luatex for dtx extraction in Makefile