Fix compilation for linux backend