Issue #112: Correct Modelsim makefile to depend on libraries