To run:
'''
nix develop
chmod +x build-run.sh
./build-run.sh
'''