config: use old regexp engine for the time being