Specify modules in a way that Travis can fetch

They should be read-only in other projects in any case.