Use opt level in Patmos backend