Patch to work around mysterious failure of root to find its own proofd includes

This only seems to affect FC20 and Ubuntu 14.04 - and not all instances of Ubuntu 14.04