[PATCH] ver_linux additions