A phony file bump

For Travis?
Merge branch 'master' into prevent-superfluous-git-calls