Fixed various issues with FramaC vulnerability detector that would prevent it from starting
merged fixes