jquery-mousewheel changed its main file's name again?