BIGTOP-1541. Support Debian jessie in Bigtop