Fixes to make the recipe work on Ubuntu 14.04