fix compilation for less recent gcc versions