Fix gcc invalidation behaviour for write_aiger