set stdlib explicitly, fix indentations