fix make distcheck on linux