Added some (missing) libraries