This should be made into a flag in `Makefile.config` to make it configurable at build time.