Renamed Mamba rats.jl files