workaround for GCC 4.8 segfault, fixes #115