Clarify the behaviour of DUM/RAP in the spec
Allow building with older ghc
Try and fix the deploy script