Fixes Ubuntu 14.04 incompatibilities.