virtuoso: remove files belonging to -base; remove static libs.