fix up on linux