Adding libraries to be sage