enabling/disabling of more extensions (fixing duplicate symbols caused by previous checkin; attachment #899)