Use Debian instead of Ubuntu to be more lightweight