I guess execlp should be terminated with a NULL cast as a char*
according to the internet?  It makes no difference on any of my
systems, but it's an attempt to fix some weird problems with
tatch's Arch and Ubuntu (12.10?) installs...