flush disk cache linux