FROM ubuntu:jammy

RUN apt-get update \
    && apt-get install -y --no-install-recommends coreutils curl sed build-essential gnucobol \
    && rm -rf /var/lib/apt/lists/*
RUN useradd --uid 5001 --create-home user
USER 5001