HardwareSerial write functions need to be virtual

http://forum.pjrc.com/threads/25494-Problems-with-HardwareSerial-Pointer-and-write

teensy3/HardwareSerial.h

 	virtual void flush(void)        { serial_flush(); }
 	virtual void clear(void)	{ serial_clear(); }
 	virtual size_t write(uint8_t c) { serial_putchar(c); return 1; }
-	size_t write(unsigned long n)   { return write((uint8_t)n); }
-	size_t write(long n)            { return write((uint8_t)n); }
-	size_t write(unsigned int n)    { return write((uint8_t)n); }
-	size_t write(int n)             { return write((uint8_t)n); }
+	virtual size_t write(unsigned long n)   { return write((uint8_t)n); }
+	virtual size_t write(long n)            { return write((uint8_t)n); }
+	virtual size_t write(unsigned int n)    { return write((uint8_t)n); }
+	virtual size_t write(int n)             { return write((uint8_t)n); }
 	virtual size_t write(const uint8_t *buffer, size_t size)
 					{ serial_write(buffer, size); return size; }
-        size_t write(const char *str)	{ size_t len = strlen(str);
+        virtual size_t write(const char *str)	{ size_t len = strlen(str);
 					  serial_write((const uint8_t *)str, len);
 					  return len; }
-	size_t write9bit(uint32_t c)	{ serial_putchar(c); return 1; }
+	virtual size_t write9bit(uint32_t c)	{ serial_putchar(c); return 1; }
 };
 extern HardwareSerial Serial1;
 
 	virtual void flush(void)        { serial2_flush(); }
 	virtual void clear(void)	{ serial2_clear(); }
 	virtual size_t write(uint8_t c) { serial2_putchar(c); return 1; }
-	size_t write(unsigned long n)   { return write((uint8_t)n); }
-	size_t write(long n)            { return write((uint8_t)n); }
-	size_t write(unsigned int n)    { return write((uint8_t)n); }
-	size_t write(int n)             { return write((uint8_t)n); }
+	virtual size_t write(unsigned long n)   { return write((uint8_t)n); }
+	virtual size_t write(long n)            { return write((uint8_t)n); }
+	virtual size_t write(unsigned int n)    { return write((uint8_t)n); }
+	virtual size_t write(int n)             { return write((uint8_t)n); }
 	virtual size_t write(const uint8_t *buffer, size_t size)
 					{ serial2_write(buffer, size); return size; }
-        size_t write(const char *str)	{ size_t len = strlen(str);
+        virtual size_t write(const char *str)	{ size_t len = strlen(str);
 					  serial2_write((const uint8_t *)str, len);
 					  return len; }
-	size_t write9bit(uint32_t c)	{ serial2_putchar(c); return 1; }
+	virtual size_t write9bit(uint32_t c)	{ serial2_putchar(c); return 1; }
 };
 extern HardwareSerial2 Serial2;
 
 	virtual void flush(void)        { serial3_flush(); }
 	virtual void clear(void)	{ serial3_clear(); }
 	virtual size_t write(uint8_t c) { serial3_putchar(c); return 1; }
-	size_t write(unsigned long n)   { return write((uint8_t)n); }
-	size_t write(long n)            { return write((uint8_t)n); }
-	size_t write(unsigned int n)    { return write((uint8_t)n); }
-	size_t write(int n)             { return write((uint8_t)n); }
+	virtual size_t write(unsigned long n)   { return write((uint8_t)n); }
+	virtual size_t write(long n)            { return write((uint8_t)n); }
+	virtual size_t write(unsigned int n)    { return write((uint8_t)n); }
+	virtual size_t write(int n)             { return write((uint8_t)n); }
 	virtual size_t write(const uint8_t *buffer, size_t size)
 					{ serial3_write(buffer, size); return size; }
-        size_t write(const char *str)	{ size_t len = strlen(str);
+        virtual size_t write(const char *str)	{ size_t len = strlen(str);
 					  serial3_write((const uint8_t *)str, len);
 					  return len; }
-	size_t write9bit(uint32_t c)	{ serial3_putchar(c); return 1; }
+	virtual size_t write9bit(uint32_t c)	{ serial3_putchar(c); return 1; }
 };
 extern HardwareSerial3 Serial3;