Bug fix: compatibility with modern g++ policy