fix compilation for gcc linux