Including Ekstazi (www.ekstazi.org) profile to optimize execution of the tests