the BatChmod menu has a force empty trash: