bugfix: default libraries weren't properly filled up