clean up on Linux