Update library filename. Don't delete by default, that's too scary