UPDATE: distro.t to reflect build system is now on Ubuntu 14.04