workaround for GCC bug with extract instrinsic