RUN apt install --no-install-recommends -y \
    libgmp-dev \
    libmpfr-dev \
    libmpc-dev \
    flex \
    bison