fixes release build warning on Linux (gcc)