Merge pull request #192 from ARMmbed/psa-fix-curves-20181108

Fix curves.pl