Fix compilation errors. Add missing `#[deriving(Copy)]` directives.