I pushed a wrong version by accident. This update should fix it.