instructions on how to build on Ubuntu 12.04.4