alignment
added ProofSamples to Makefile