Fixed the cabal installation

Two tab characters were removed from the cabal file and an extra pragma
was added to Program, to make it compile again.