fix compilation for linux
fix compilation for linux