Add debian jessie 64bit to distributions