Updated debian/ for protocol version 12

Updated debian/ to build current version, with updated version number.