and don't use SERVE_TMP_PATH on prod servers (bug 1020861)