fix SimpleLinux-example