Assume the user is already in src/