install_dependencies: port fix from debian to ubuntu