I don't see why we need `test` and `alltest` separately. When I created the `test` target, I didn't know about the `ptest` script. Let's remove `alltest` and use `test` for testing everything.