Make pointers const (to comply with nightly Rust)