set_user_sage_path method reads file paths correctly