Now, the bug.
When exporting some tables to SQL you get something like:
/*!40000 ALTER TABLE myTable DISABLE KEYS;*/
and it should be
/*!40000 ALTER TABLE myTable DISABLE KEYS */;
I only noticed it when MySQL complained while trying to import the data via the command line executable.
mysqldump uses the second format also (at least on my 4.1.x version).