workaround for PHP 5.1.2's broken stream_get_wrappers(), kinda refs #381