Fix minor bug in peterson lock
Add make target to generate lst files