UPDATE: autogeneration php script for mime_types.php;