Make WebUI's ext-4 point to GitHub for build simplicity