avrdude: no programmer has been specified on the command line or the config file

Yes, it was using an outdated version of avr. It should be ok now (try reloading the page to force reloading of parameters)