Arduino IDE 1.5.5 was just released
Use digitalPinToInterrupt available in Arduino 1.5.5