src/options.c: GCC 4.8.x fix up

Signed-off-by: Paul Reioux <reioux@gmail.com>
src/themes.c: GCC 4.8.x fix up

Signed-off-by: Paul Reioux <reioux@gmail.com>