Fails to find pic32-g++

[FabianInostroza]

I've installed chipkit-core on Linux 64 bits following the instructions in [1] (zip file), but when I try to compile a sketch I get the following error:
fork/exec /bin/pic32-g++: no such file or directory

I got it working by modifying the file platform.txt. I hardcoded the path to the compiler in the variable compiler.path to /home/user/Arduino/.....

Another almost successful attempt was to create a symlink to the pic32-tools folder in ~/.arduino15/packages/arduino/tools, but then there is no pic32-g++ executable in the pic32mx/bin/ subfolder.

[1] https://chipkit.net/wiki/index.php?title=ChipKIT_core#64-Bit_Linux

[vicpino]

The compiler is 32-bit.
On 64 bits Linux you must install the 32-bit compatibility libraries.
$ sudo apt-get install libc6-i386