Silly character-replacement hack for Travis