bug fix on linux