Make max_execution_time configurable