obj extension

• extension of an object file