namespace static directory
add copyright redistribution info to generated pages
fix bug with shrimp workflow on linux