Updating developer instructions for Debian