Fixed filename for AWS types