adding libspectre