BIGTOP-1441. bigtop_toolchain fails on Ubuntu