readme: use the right file extension