...for one, all supported GCC versions should HAVE_GCC_PRAGMA_OPERATOR by now;
for another, there are virtually no uses of std::auto_ptr left.

Change-Id: I5d94c2520d43ff0a4a8f6882ce64ebed888b44ec