bluespec sucks at file names