Fixed configuration exporting issues in FramaC Vulnerability detector