Run of unchanged for xc3sprog

Try this locally (using silver-platter):

debian-svp just-build xc3sprog