Tools for Linux on the Chromebook Pixel