use old kernel for webgl demo as new one fails with TypeCore error