ghc-random/rpmlintrc