Fixes #33: make Travis create the right config files before build