Renamed RedBook to RedBook4.
Fixed Makefile after renaming.