Add fauxton to the default settings