@tlcrowell are you using the docker image provided at, https://github.com/TileDB-Inc/TileDB-Docker ? If not can you please provide the Dockerfile you are using so we can help debug the issue.
As a note we do provide prebuild docker images, https://hub.docker.com/r/tiledb/tiledb .