Loading token.inc in token_init() is too late sometimes

I use the CAS module and Pathauto. On login, the cas_init() function calls user_save(), which eventually calls token_get_values(). However, since the cas_init() call is happening before token_init(), which loads token.inc containing that function's definition, PHP dies with a fatal error.

If I add:

include_once(drupal_get_path('module', 'token') . '/token.inc');

to the top of token.module, my problem is resolved.