Working around a clang bug