build failure due to mangled variable assignment in Makefile (#158) · Issues · pub / frama-c