Use /tmp for debian; remove some logging from the shell script.