use (") double-quotes for require(): quick hack to keep the SED script in jison Makefile consistent