finally fixed by changing API on coq-model-attribute for now

Thanks to @CrshOverride for advices

Closes #7