Additional libraries to be used