disable optimizeShifts; fixes #1518