fixed #1647: Adding missing files.