some libraries we might need