BUGFIX: Minor fix for new versions of Ubuntu