gcc compatibility fix (for gcc version 4.1.2 20080704)