small fix on linux