workaround for docker/kernel bug