Original Arduino GSM Library - change RX / TX to Hardware Serial

Thanks for your replay. I would have guessed this.