fix compilation for gcc