Use the Docker-based build for Linux.