Fix docker hard crash on debian