Linux deployment requirements for GHC-produced binaries