Fix gcc 5666.3 bug