fix #28: add cmp file