export c11 flags
Merge pull request #94 from ethz-asl/fix/export_flags

export c11 flags