update with auto compile for verification