Fix filename in the Debian installation instructions