Added missing include needed for Linux builds.
Merge branch 'master' of https://github.com/MovementAndMeaning/MPlusM