binaries
plugins/plugins.otarget
theories/theories.otarget