Makefile update

use of -O3 instead of -O2 for gcc, yields better performance