fix inadvertent crash in gcc version (temporary fix)