quick-n-dirty fix of strange configure error