The NUC32/RePC version of ctxh264.so is closed source, but the RPi version
included here is not.