Fix build on ubuntu 14.04 dont merge this pull request

Just FYI, don't merge this.