Migrate to jquery-mobile 1.4.2