79c8fc1d7c
This allows to export the symbols from the executable, using the next version of CMake (not yet in the git master version of CMake)