Fixes travis setup for Ubuntu