Changed mantis_timebase and mantis_timestart to externs.