Upgrade to WebSharper 2.5