circumvent ppa build problem (ghc <= 7.6.3)
Merge pull request #1408 from spechub/server_makefile

circumvent ppa build problem (ghc <= 7.6.3)