obey PREFIX rather than assemble our own