Fix build with -DPHALCON_RELEASE