fix OSX upload failure
fix OSX upload failure

this is the first time that core files are modified
if we are going to diverge there could be space for a lot of tweaks but we would lose compatibility


Former-commit-id: 9154336967b91d311b85666b846afc1e112ec1c4 [formerly e3ead82d9cad6a6c58a7b78f9ff8a9ab47c9e68e]
Former-commit-id: c518c815432757541677487b2a87bd9c9ed80bce
arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent