Don't gzip profile files if empty.