fixing a build issue for different GCC