third_party_astc-encoder