michaelg/dev: links for gpu-allocator