On the other hand, when installing from microB, the deb package is not copied to /var/cache/apt/archives It would be nice to have a source for the deb.