script updates
Merge pull request #1 from fsharp/master

script updates