update for fsharp-mode 0.7