Merge branch 'bugfix' into 'master'

bugfix (from valgrind): even when CC is not used, it should be initialized to a…

See merge request !4
2 jobs for master in 58 seconds (queued for 2 seconds)