Oops, I will fix them after merging (not in this pull request, because `#include "gtest/gtest.h"` also appears in some files on develop branch).