remove some more mysqlisms