Fix build under HEAD rustc

Raw pointers are no longer allowed. Integer types need more specifiers.