chore: set Ubuntu 12.04 box by default