[doc] Update Debian build instructions