workaround for MaciASL bug