Remove old mysql-specific scripts