Bah, tried to copy the wrong file

This should fix the Travis-CI broken build.