migrating over .boxen preferences