fix failing on linux