Cannot generate identical .hex; cannot upload generated .hex

[daniel-callejas-sevilla]

KUbuntu 14.10
Arduino environment 1:1.0.5+dfsg2-2

After a clean clone of this repo, when compiling it with the Arduino environment (board type "Arduino Uno") the generated .hex is different from the one in this repo.

$ ls -l /tmp/build8149161915831786846.tmp/GPSCookieV1.cpp.hex firmware/TSCookie_V1_0.hex
-rw-rw-r-- 1 dani dani 92173 ene 18 23:10 firmware/TSCookie_V1_0.hex
-rw-rw-r-- 1 dani dani 53711 ene 24 17:27 /tmp/build8149161915831786846.tmp/GPSCookieV1.cpp.hex

Also, when trying to upload the generated .hex with avrdude, it always indicates "avrdude: verification error, first mismatch at byte 0x000e (0x81 != 0x8c)" which is consistent with the first different byte between the generated .hex and the .hex in the repo.

[daniel-callejas-sevilla]

.hex generated by Arduino environment: http://pastebin.com/c8huy3bn
avrdude output: http://pastebin.com/ZPx7bQFn