[Bug 986857] pgadmin3 segfault TW 20160625 (gcc6?)