docker build does not work well with a github path