Travis can't build this, hence all the fiddling with files.