use the correct path to lib.rs