Migrate to WebSharper 2.5