the setup for ghost inside typeocaml.com