I've had this problem for a while, if I click "Empty Trash" only the files deleted recently will be emptied. There are ~90 files that don't get deleted. If I open Trash and delete them manually it works (so obviously I do have the permissions. Should I just delete them manually and file a bug?