boost: refresh GCC options in Makefile