Setup file.
Changes needed for the cabalized guide.