add a few more libraries