We also need the salttesting package