Adapted for the latest version of DeforaOS configure