Note a Debian bug in the README.