Nope, still not working. I've been using a Teensy3 on Eclipse with Nassarane's guide on PJRC forums, very similar to this one.
This time I followed exactly step by step Zad's guide, as I am also using OSX, with the same result as before.
My libArduinoDuoCore.a is 121.846 bytes (pretty similar to yours) and the Blink.bin 42.340 bytes.
It compiles well, flashes it as Arduino IDE would do, but the LED is not flashing. I don't know what else to try.