In fact, we've removed "make download" step ages ago