Fix pokered paths in redtools

Man, why do these files still exist?