Try to work around weird Docker bug with "mkdir"

Instead of letting ADD create the directory.