deal with scheme-relative imports of respec in respec2html