Fix build for latest WebSharper.