provide os_mkdir to workaround permission issues with php mkdir