adding option to specify device libraries within <library> tags