tools that run in linux