use github version of tuareg-mode to bypass the firewall