Merge "Fix installation bug on Ubuntu 18.04"