build tools
show notification while running the server; fixes #1
minor fix