* debian/cron.d: run script every 10s instead of every minute