Change <gtest> include order to accommodate CVC4