It looks like they just released that version. I wonder if it has a bug that is causing this problem. I'll try investigating more, but you may want to post to them through their support channels. It is also possible to install extensions command line without the extension manager, but the extension manager does make it a lot easier.