minor update on building creduce on Ubuntu 14.04