bugfix for newer g++ versions