Add some missing symbols in a blind attempt to fix the buildbots. Feel free to revert if this is wrong.
Attach a file by drag & drop or click to upload
