workaround tcetest download which is randomly gzipped or not