Version that works with Rebel2 v jan-2021

This release works as a backend with the jan-2021 version of Rebel2 (see https://github.com/cwi-swat/rebel2/releases/tag/jan-2021).