Remove some obsolete postcircumfix[] code