FIX: added timeout to kill make, as it ALWAYS hangs