This change needs to be reverted for the Makefile to work on Ubuntu 14.04.