add; docker workaround for tmpdir issue