Move do.hpp, ticket #5 on github.