Fix Ubuntu bootstrap