get file size (fixes #3)