Boot2docker fix

The plain boot2docker image contains BusyBox, where some of GNU commands are different from other Linux distros. I found issues regarding `seq` and `xargs` when running this dockerfile on boot2docker. Here is a fix.

As per your request, I created a pull request merging to the develop branch.