Fix #14: Update "missing" script and regenerate configure script etc.