fix for static linking problem with debian/arch