Updates to Profile7 support
Fix https://github.com/fsharp/fsharp/issues/282