File Makefile.patch of Package delaboratory

*** Makefile	2012-02-13 07:23:30.449466603 +0100
--- Makefile	2012-02-13 07:23:40.623351012 +0100
***************
*** 44,50 ****
  CXXFLAGS+=-g -Wall -pedantic 
  else
  # release stuff
! CXXFLAGS+=-Ofast ${OPTFLAGS} -DNDEBUG
  endif
  
  # warnings from wxWidgets
--- 44,50 ----
  CXXFLAGS+=-g -Wall -pedantic 
  else
  # release stuff
! CXXFLAGS+=${OPTFLAGS} -DNDEBUG
  endif
  
  # warnings from wxWidgets