remove mysql.c