Added "make PRETTY=1"