Corrected mistake to use /tmp instead of /etc for proof sandbox