Specify file encoding in a mysql import