Custom skins do not work without alteration to jcarousel code

From http://drupal.org/node/324777#comment-3307046

_____________________replace this____________________
// Add the skin CSS if it hasn't been added yet.
if (!isset($jcarousel_added['skin'][$skin])) {
if ($skin == 'tango' || $skin == 'ie7') {
drupal_add_css("$jcarousel/jcarousel/skins/$skin/skin.css");
}
elseif (!empty($skin_path)) {
drupal_add_css($skin_path, 'theme');
}
$jcarousel_added['skin'][$skin] = TRUE;
}
_____________________with this____________________
// Add the skin CSS if it hasn't been added yet.
if (!isset($jcarousel_added['skin'][$skin])) {
if ($skin == 'tango' || $skin == 'ie7') {
drupal_add_css("$jcarousel/jcarousel/skins/$skin/skin.css");
}
elseif (!empty($skin_path)) {
drupal_add_css($skin_path, 'theme');
}
else {
drupal_add_css("$jcarousel/jcarousel/skins/$skin/skin.css");
}
$jcarousel_added['skin'][$skin] = TRUE;
}