1.18.8 (2018-12-10) Bug Fixes docker leaving running pids (via pstree) (735afd5), closes #1447 #1477 #1484