Makefile tweaks; should now build HALVMCore.