Link to workaround for ubuntu installation problems