build/release/gringo usr/bin/
build/release/clingo usr/bin/
build/release/reify usr/bin/
