Drop Aux from CodecAsAux name to align with shapeless naming