Fixing build on Ubuntu 14.04