Possible fix for issues #67 (arduino 1.5.7 support) and #90 (gcc 4.8 issues?)
tweaking interrupt code