Prepare the Docker with:

docker compose build builder
docker compose up builder

This will build the container, copy the files, and compile the C library.

You can also run php main.php from within the container too.

docker compose exec builder bash
php main.php

Or

docker compose exec builder php /source/main.php