enable pattern matcher cache again (closes #2420)