Minor build system cleanup
Fix new-theory script for new, flattened build system.