tessel/runtime#467 r=@jiahuang: do not push after EOF