[#858] removing files that are now housed in a separate repo