bench*-mem targets are broken #4
Description
Currently, neither make bench-mem or make benchfx-mem work for any benchmark: /usr/bin/time takes the executable to run plus its arguments as individual CLI arguments, and cannot be given an LD_PRELOAD=foo bar arg style shell command as a result.