Little correction to OPTFLAGS