Fix jquery-terminal paths