Since we don't really do something else than linux (we don't to MacOS), do we want to keep this?