Fix a wrong dependency in Ubuntu...