gui:macosx: convert vlc_tick_t to seconds explicitly using SEC_FROM_VLC_TICK()