(compile -s -O2 -d1 htmlprag.scm -j htmlprag)
(compile -s -O2 -d1 htmlprag.import.scm)
(compile -c -O2 -d1 htmlprag.scm)

(install-extension 'htmlprag
                   '("htmlprag.so" "htmlprag.o" "htmlprag.import.so")
                   '((version "0.16.2")
		     (static "htmlprag.o")))