diff --git a/docker/dep/Dockerfile b/docker/dep/Dockerfile
index 9b358465fe..926492b8b8 100644
--- a/docker/dep/Dockerfile
+++ b/docker/dep/Dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:18.04
+FROM ubuntu:20.04
 LABEL maintainer="felix.ruess@gmail.com"
 
 # Add Tini
@@ -9,22 +9,22 @@ RUN chmod +x /tini
 # setup environment
 ENV LANG C.UTF-8
 
+ARG DEBIAN_FRONTEND=noninteractive
+
 # add Paparazzi PPA
-RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y software-properties-common
+RUN apt-get update && apt-get install -y software-properties-common
 RUN add-apt-repository ppa:paparazzi-uav/ppa
-RUN add-apt-repository ppa:team-gcc-arm-embedded/ppa
+#RUN add-apt-repository ppa:team-gcc-arm-embedded/ppa
 
 # setup tzdata
 ENV TZ=Etc/UTC
 RUN ln -fs /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
-RUN DEBIAN_FRONTEND=noninteractive apt-get -y install tzdata
+RUN apt-get -y install tzdata
 
 # install paparazzi-dev which pull in the dependencies
 # also install cross compiler and some stuff for X
-RUN DEBIAN_FRONTEND=noninteractive \
-    apt-get update && apt-get install -y \
+RUN apt-get update && apt-get install -y \
     cmake \
-    gcc-arm-embedded \
     libcanberra-gtk-module \
     paparazzi-dev \
     paparazzi-jsbsim \