the run binary interprets command line things for -R 0001 very strangely (not as the correct value). Not sure why...