fix last minute file rename (file should not be named redis since this is also the name of the module)