trying to fix the ooc*.xdc dependence
use a timestamp file to tell when the ooc xdc files have been written