Switch to our own pattern matching library.