Minor improvement to project editor's build&deploy