I deactivated the plugin, upgraded it through WordPress, then activated it – and it seems to work fine.