Fix another 'mysql' incompatibility