Rename teensy.cp to teensy3.cp