Restored sequences to default make.
Makefile: separated calls to hoqc, for better progress indication.