Work around GCC bug in Future implementation