* Fix up Fix up uses of deprecated syntax: #[...]; attributes are now written as #![...]
* Pull in similar changes in the rust-core runtime