Removing unnecessary Proclaim libraries