Add missing files from GIRAPH-535