firmware string is not in config files
The firmware string must be set manually in the builders configuration.
This is not good, it should be read from a text file that is tracked in the repo.
Here it is what was needed for the update from 0.5.0 to 0.5.1: