Log Message: frama-c: add missing tool dependency on bash Replace interpreters in installed files. Bump PKGREVISION.