bypass a compiler's bug