Failing compiling. Wrong pointer type

[dtu-compute]

Step 22/31 : RUN cd /var/www/sharelatex/clsi && grunt compile:bin; chown -R www-data:www-data /var/www/sharelatex
 ---> Running in a059da895ba6
Running "compile:bin" task
src/synctex/synctex_parser.c: In function 'synctex_updater_new_with_output_file':
src/synctex/synctex_parser.c:4174:52: warning: passing argument 4 of '_synctex_open' from incompatible pointer type [-Wincompatible-pointer-types]
  if (_synctex_open(output,build_directory,&synctex,&SYNCTEX_FILE,synctex_ADD_QUOTES,&io_mode)
                                                    ^
src/synctex/synctex_parser.c:2738:5: note: expected 'struct gzFile_s **' but argument is of type 'void **'
 int _synctex_open(const char * output, const char * build_directory, char ** synctex_name_ref, gzFile * file_ref, synctex_bool_t add_quotes, synctex_io_mode_t * io_mode_ref) {
     ^~~~~~~~~~~~~
src/synctex/synctex_parser.c:4175:52: warning: passing argument 4 of '_synctex_open' from incompatible pointer type [-Wincompatible-pointer-types]
   && _synctex_open(output,build_directory,&synctex,&SYNCTEX_FILE,synctex_DONT_ADD_QUOTES,&io_mode)) {
                                                    ^
src/synctex/synctex_parser.c:2738:5: note: expected 'struct gzFile_s **' but argument is of type 'void **'
 int _synctex_open(const char * output, const char * build_directory, char ** synctex_name_ref, gzFile * file_ref, synctex_bool_t add_quotes, synctex_io_mode_t * io_mode_ref) {
     ^~~~~~~~~~~~~

Compiling on Ubuntu 18.04.

[das7pad]

Hi!

Thank you for taking the time to write up this issue.

We are in the process of migrating to a monorepo at https://github.com/overleaf/overleaf and will mark this repository read-only soon.
You can read more about the monorepo migration at overleaf/overleaf#923.

We are going to close this issue now to avoid any confusion about the inability to comment further.

If you believe this issue still needs addressing, please create a new issue at https://github.com/overleaf/overleaf.

Thanks again!