Virtual Pins above 127 not recognized in Arduino IDE

Pete.