The files at that location are identical to the files at the link that Paul posted.
The only place that contains the string "This library only supports boards with an AVR, SAM or SAMD processor." is the arduino...
val is a 64 bit int, you need to tell printf() the size of the argument using %lld
m is a 32 bit int you need to tell printf() the size of the argument using %ld
The errors are a result of you defining loop() within setup()
void setup() {
pinMode(ledPin, OUTPUT);
int x;
void loop() {
for (x = 1; x < 4; x = x + 1 ) {
digitalWriteFast(ledPin, HIGH); // LED on...