Fix for older gcc