fix standalone prelude
.gitignore: ignore built files