Use original file names for jquery-ui