Correct the rivets file name
Use the right rivets source file