workaround with debian 7 + clang