work around cross platform g++ bug 411544