Update name of Ubuntu Dependencies

Description

In INSTALL there are some dependencies which have new names on Debian / Ubuntu.
On my current aarch64 system there is the following ubuntu:
DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=16.04
DISTRIB_CODENAME=xenial
DISTRIB_DESCRIPTION="Ubuntu 16.04.1 LTS"

The following names have changed for Ubuntu and Debian:
libX11-dev -> libx11-dev
libXt-dev -> libxt-dev

Demonstration:

1 2 3 4 5 6 apt-get install libX11-dev libXt-dev Reading package lists... Done Building dependency tree Reading state information... Done E: Unable to locate package libX11-dev E: Unable to locate package libXt-dev

With corrected names:

1 2 3 4 5 6 7 apt-get install libx11-dev libxt-dev Reading package lists... Done Building dependency tree Reading state information... Done libx11-dev is already the newest version (2:1.6.3-1ubuntu2). libxt-dev is already the newest version (1:1.1.5-0ubuntu1). 0 upgraded, 0 newly installed, 0 to remove and 5 not upgraded.

Acceptance Criteria

None

Status

Assignee

Philipp Rehs

Reporter

Philipp Rehs

Severity

None

OS

None

Start Date

None

Pull Request URL

Story Points

1

Components

Affects versions

14.1.0

Priority

Low
Configure