appease gcc 4.8