fix compilation for linux