On Wednesday, July 25, 2012 11:39:07 Raphael Kubo da Costa wrote: > It seems to be running fine here, I've now even switched to GTK3 (I > wonder if there should be an error message if one selected more than one > GUI option). The GUI options use OPTIONS_SINGLE, so the port will error out if more than one GUI option is selected. Jason