As stated in #16 these files are not needed and can be removed.