Fixed a bug in ubuntu installation