Fix Ubuntu 14 build errors