remove newline from quit message of idris
re-enable support for warnings