update to pass compilation on Linux