fix gwt-dist task