Changed machine name to teensy-3.1 from teensy-31