For those who need to get work done but are stuck due to this bug here is an alternative work around that I was previously unaware of. (I know this isn't exactly bug information but it will probably help quite a few people that arrive on this page looking for a solution)
Just install the package arduino-mk You can compile upload and monitor arduino sketches using Makefile. There are several tutorials around, here is one that I found. https://hardwarefun.com/tutorials/compiling-arduino-sketches-using-makefile This works well for me on debian buster.
