Note that we develop and test only under Ubuntu 14.04 LTS.