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