https://github.com/arduino/Arduino/issues/1176 is now fixed
Revert "Pins definitions are now #defines"

This reverts commit bd018cb6d1922b1aee32323095bfcfbbc42c8b65.