INST: updated binaries for Linux