Fix stupid typo in directory name for Ubuntu