I just noticed a very annoying bug - I deleted a file (approx. 1GB), after that I emptied the trash. Sadly, disk usage in the disk utility app does not show any change. The I went on an deleted a whole folder (over 3 GB) but the available disk space did not change. Even when I delete a file using the rm command in terminal, I do not gain free space. Whatsize does show me that my hard drive uses 84GB of space, but when I add up all the folders on the right side, I only get about 77GB. It doesn't matter if Filevault full disk encryption is enabled or disabled, the problem still occurs. Does anyone have the same problem?