Don't use replace-regexp to appease make check