Git pre-receive hook-script to deny pushing nonascii filenames