This bug doesn't seem to occur in debian