Move to Debian package standard 3.9.4 (issue #3)