[Bug 229054] pgadmin3: $RPM_OPT_FLAGS not used