Update Debian build instructions.

(Thanks to an anonymous contributor for pointing out the mistake.)