Done. Note however that the order of -llib and -llib2 in the Frama-C command line below is yet not specified since the order in which command line options are parsed (without -then) remains unspecified.