Docker fix timeout

Fix #963 

See #963  or commit messages for more details. 
Yep, 
Could we also set the timeout to 5 secs ?