Rename mysqltoredis to mysqltoredis.txt