Better instructions for Linux users