changed back to exec() in PHP