various small things

- compiling in Ubuntu 13.04
- mistake in Arch Linux deployment