Minor improvement to project editor's build&deploy
(cherry-picked from 00a5a0f)