logo filename in the example

error message when this does not work

when export fails, too

new version in PHP. it seems to work, and is more flexible than the
getopt() found in PHP 5.3+.

(this actually happens with the cocoa driver!)