jquery-mobile: Fixed up filenames for 1.4.0