docker: fix for OSX