proper_libs should be extra as it's controversial (see also RT#35116)