fix compilation for gcc on linux