fix small annoyance in drop_caches.sh