wrote two of the properties, removed tex buildfiles