document hack to download .deb file