moved 'extern digital_pin_to_pcint[];' declaration into pins_arduino.h, and so removed patched version of SoftwareSerial lib as no longer required. Also removed now unneeded extern declaration in GSM3SoftSerial.cpp.