Update coverage for Aldec makefile