Miscellaneous improvements for GCC 4.8

* Configure options improvements.
  - Enable checking as release.
  - Enable libstdc++ time.