make install fails when --prefix is the source directory (#947) · Issues · pub / frama-c