Fix accidental removal of MySQL include.