disser fixes for tex-live 2013