Bugfix: missing libraries