make starks_lib

In file included from src/rapidsnark/zkey.hpp:4,
                 from src/rapidsnark/zkey_fflonk.cpp:3:
src/rapidsnark/binfile_utils.hpp:36:29: error: ‘uint64_t’ has not been declared
   36 |         BinFile(void *data, uint64_t size, std::string type, uint32_t maxVersion);
      |                             ^~~~~~~~
src/rapidsnark/binfile_utils.hpp:7:1: note: ‘uint64_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
    6 | #include <memory>
  +++ |+#include <cstdint>
    7 | // #include <cstdint>
src/rapidsnark/binfile_utils.hpp:36:62: error: ‘uint32_t’ has not been declared
   36 |         BinFile(void *data, uint64_t size, std::string type, uint32_t maxVersion);
      |                                                              ^~~~~~~~
src/rapidsnark/binfile_utils.hpp:36:62: note: ‘uint32_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
src/rapidsnark/binfile_utils.hpp:37:57: error: ‘uint32_t’ has not been declared
   37 |         BinFile(std::string fileName, std::string type, uint32_t maxVersion);
      |                                                         ^~~~~~~~
src/rapidsnark/binfile_utils.hpp:37:57: note: ‘uint32_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
src/rapidsnark/binfile_utils.hpp:56:20: error: ‘uint64_t’ has not been declared
   56 |         void *read(uint64_t l);
      |                    ^~~~~~~~
src/rapidsnark/binfile_utils.hpp:56:20: note: ‘uint64_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
src/rapidsnark/binfile_utils.hpp:61:83: error: ‘uint32_t’ has not been declared
   61 |     std::unique_ptr<BinFile> openExisting(std::string filename, std::string type, uint32_t maxVersion);
      |                                                                                   ^~~~~~~~
src/rapidsnark/binfile_utils.hpp:61:83: note: ‘uint32_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
...