Use the right compiler for ctx_size.