Disabled test_pushFilenameStack, because it's failing in travis