// empty file to generate a null object file; needed by some archiver tools