debian workaround, making "3.13-1-amd64" version string pass