# check if file is gzipped, etc.
function check_headers {
  curl -I -H 'Accept-Encoding: gzip,deflate' $1
}