use standard lib.rs file name