#include <unistd.h> added (compilation fix in Debian 7)