work around gcc-4.9 bug