Using SysTick as ti.sysbios.knl.Clock tick source on LM4F232H2QD

I tried to configure ti.sysbios.knl.Clock to use SysTick source instead of Timer0.

I followed (and modified) an example:

var Clock = xdc.useModule('ti.sysbios.knl.Clock');

// Tell the Clock module that YOU are providing the periodic interrupt
Clock.tickSource = Clock.TickSource_USER;

// this example uses the ti.sysbios.timers.dmtimer.Timer module
var Timer = xdc.useModule('ti.sysbios.family.arm.m3.Timer');

// create a dmtimer config parameter object
var timerParams = new Timer.Params();

// make sure you set the period to 1000 us (1ms)
timerParams.period = 1000;

// Create the timer.
// This example uses timer id 0.
// The timer interrupt handler must be set to 'Clock.tick'.
Timer.create(0, Clock.tick, timerParams);

but when I compile I get an error:

wrong type of argument: tickFxn

It seems that I cannot pass Clock.tick as second parameter to Timer.create().

I use CCS 5.3.0.00090 and SYS/BIOS that comes with it (6.34.02.18).

Where am I wrong?

best regards