Updated Debian standard to 3.9.4 (issue #3)