Workaround an issue with mixing std versions in gcc (#2017)
2 files changed