fixed gnublin-tools deb install