Fix some additional stuff

Dockerfile

@@ -1,10 +1,11 @@
 FROM ghcr.io/astral-sh/uv:alpine
 
 RUN apk add curl python3
+# Arduino’s avr‑gcc toolchain is linked against glibc.  Install gcompat to provide the glibc‑compatible loader on Alpine.
+RUN apk add --no-cache gcompat
 
 RUN curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh
 
-RUN arduino-cli core install arduino:avr
 
 RUN adduser -u 1000 -D user
 
@@ -13,6 +14,10 @@ USER user
 ENV HOME=/home/user \
     PATH=/home/user/.local/bin/:$PATH
 
+RUN arduino-cli core install arduino:avr
+
+RUN chown -R user /home/user/.arduino15
+RUN chmod -R 777 /home/user/.arduino15
 
 WORKDIR $HOME/app
 

main.py

@@ -128,10 +128,13 @@ async def interact_with_agent(
         for call in event.get_function_responses():
             if call.name == "compile_with_arduino" and call.response["success"]:
                 path = call.response["project_dir"]
+                elf_path = os.path.join(path, "output", "arduino_project.ino.elf")
+                print(f"elf_path: {elf_path}")
+                os.chmod(elf_path, 0o777)
 
                 yield messages, None, None, gr.DownloadButton(
                     "Download ELF",
-                    os.path.join(path, "output", "arduino_project.ino.elf"),
+                    elf_path,
                     variant="primary",
                     render=False,
                     interactive=True,