fixes #354 - properly splits filename on all platforms when setting a checkpoint