Turns out that ipcs reports wildly incorrect values for shared memory
limits at least on some of the tested systems. Given that we are after
creating files in /dev/shm (or /run/shm or whatever), switch to using df
output directly.