Adds a number of libraries to flake.h