Should have been fixed in commit 85be1e5e7b when we updated the library, but was... missed.
travis caught it after the fact at least.
Examples in these directories are not only for the board listed, they are simply preconfigured for those boards. If you do not find an example of the peripheral you want to use listed for your board, please look at the other boards. The differences between boards for the examples is normally only LEDs and buttons on different pins, and different memory sizes.