deb 0.3.6: should not ask for permission to install files
the debian package should have installed everything, so this should not be needed.
(from redmine: created on 2013-11-07, closed on 2013-12-09, relates #4218 (closed), relates #4600 (closed))