* updates to the red storm configure setup * fix missing header if no timer components are found This commit was SVN r7402.