python needed for ghc fingerprinting