Thanks Paul, the boards file was the key. I saw those 3 lines, but since Frank B said it caused some errors it didn't stick in my mind as something to try.
I'm totally unfamiliar with the arduino IDE (I'm a text editor and make file oriented person), so it took me quite a while of digging in...