Relaxed a bit the manifest file to compile on ghc-7.6.2