workaround for ubuntu issue