Nightly build 1.6.12 arduino cannot locate avrdude.conf

Indeed the platform.txt did made all the difference. I must have had an old previous one. Issue solved.