patch fot the Gtk+ GUI adding an option to stop recording after a xxx seconds