Use the utility `utils/reaclib/generateEmbeddedReaclibHeader.py` to generate reaclib.h