Damn. I didn't see the "no ip routing" in the config that you posted either. With it normally being enabled by default, I don't always look for it.
I would use the 2nd option with IP address on the serial interface.
It is preferable to use the IP address of the next hop as the default gateway.