Please adapt BlueBrain/config/codash.cmake accordingly