Fix Debian instructions.

My bad, the Debian instructions weren't correct.  Fixed now.