add ghc in init_ubuntu.sh