It seems that if a PR is based on an old copy of master, CircleCI will still run the build script from the old master (which triggers the sphinx/gallery incompatibility which was fixed in master since). Should we be merging in master before building a PR on Circle?