Apply Karl Berry's bug fix so @copying works with @ifnottex