GUI: revert back to gwt25 on production